منابع مشابه
Program Development in Constructive
We present the program development concept in a logical framework including constructive type theory and then show how to use such theories to derive programs from proofs of formal speciications. We are interested in two important facts that are the mechanization of the proof construction and the possibility to express in the theory signiiciant concepts for programming (like inductively deened ...
متن کاملProcrastination, Academic Success and the Effectiveness of a Remedial Program
Procrastination, Academic Success and the Effectiveness of a Remedial Program Procrastination produces harmful effects for human capital investments and studying activities. Using data from a large sample of Italian undergraduates, we measure procrastination with the actual behaviour of students, considering the delay in finalizing their university enrolment procedure. We firstly show that proc...
متن کاملConstructive Dynamic Program Slicing Research
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the theory of slicing. However, slicing is still not widely applied in software industry. Therefore, there is a need to survey and characterize the conducted research and to analyze what problems hinder progress. This pape...
متن کاملProgram extraction in constructive analysis
We sketch a development of constructive analysis in Bishop’s style, with special emphasis on low type-level witnesses (using separability of the reals). The goal is to set up things in such a way that realistically executable programs can be extracted from proofs. This is carried out for (1) the Intermediate Value Theorem and (2) the existence of a continuous inverse to a monotonically increasi...
متن کاملMicrosoft: a Remedial Failure
Each era has its landmark antitrust case. And each such case is a creature of the competitive context in which it arose. The Standard Oil case1 grew out of the enormous consolidations, the trusts, that accompanied the shift from local or regional markets to national markets. The Alcoa case2 arose in the context of unprecedented scale economies in basic manufacturing, at a time when manufacturin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Academy of Political Science in the City of New York
سال: 1912
ISSN: 1548-7237
DOI: 10.2307/1171943